Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
371	Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computing Computer programming Data types Functional languages Primitive types Functional programming Edit distance String Haskell Id Boolean data type
372	Self-organizing map in Matlab: the SOM Toolbox Juha Vesanto, Johan Himberg, Esa Alhoniemi and Juha Parhankangas Laboratory of Computer and Information Science, Helsinki University of Technology, Finland Abstract The Sel Add to Reading List Source URL: www.cis.hut.fi Language: English - Date: 2000-10-09 05:53:25 Software Application software Mathematical software Artificial neural networks Array programming languages Machine learning Dimension reduction Self-organizing map Cross-platform software MATLAB Unsupervised learning U-matrix
373	Comparison of examination results of W3C XML1.0 4th Edition and 5th Edition_20160525.xls Add to Reading List Source URL: www.ipa.go.jp Language: English - Date: 2016-05-31 00:59:32 Computing Markup languages Standards Technical communication Computer file formats Open formats Open standard Specification World Wide Web Consortium Office Open XML XML schema Web standards
374	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter Pawlowski, David Dill, Dawson Engler Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Software engineering Computing Computer programming Data types C Procedural programming languages Pointer Struct C++ classes Const SKB
375	A Generic Algorithm Template for Divide-and-conquer in Multicore Systems Carlos H. Gonz´alez and Basilio B. Fraguela Depto. de Electr´onica e Sistemas Universidade da Coru˜na A Coru˜na, Spain {cgonzalezv, basilio.fra Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2010-07-05 09:09:38 Computer programming Software engineering Computing C++ Concurrent programming languages Parallel computing Theoretical computer science Application programming interfaces Algorithmic skeleton Recursion Divide and conquer algorithms Algorithm
376	CSE 584A Class 6 Jeremy Buhler February 8, 2016 1 Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-02-08 06:47:37 String computer science) Computing Computer programming Formal languages String matching algorithms Search algorithms Arrays Pattern matching Suffix tree String searching algorithm Suffix array KnuthMorrisPratt algorithm
377	Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-22 20:46:25 Models of computation Formal languages Theoretical computer science Pushdown automaton Automata theory Deterministic pushdown automaton Computability Language Deterministic context-free language Deterministic automaton Culture NPDA
378	Piazza Stats • • • Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-06 14:56:29 Software engineering Computing Computer programming Boolean algebra Data types Concurrent programming languages Object-oriented programming languages Boolean data type Boolean expression ALGOL 68 Java Const
379	SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2009-06-09 05:12:21 Theoretical computer science Logic in computer science Formal languages Hans Zantema International Conference on Rewriting Techniques and Applications Rewriting Termination analysis Divergence NP-completeness
380	How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract Add to Reading List Source URL: 202.3.77.10 Language: English - Date: 2016-05-28 06:05:21 Software engineering Computer programming Programming language theory Type theory Data types Functional programming Functional languages Procedural programming languages Type class Standard ML Parametric polymorphism Relational operator

UPDATE